Formal Representations of Eligibility Criteria : A Literature Review

ion, while GLIF supports temporal operators of the Arden Syntax logic grammar SQL that supports some first-order logic criteria An embedded health record model UMLS & SNOMED [33] 2004 GLIF3 No GELLO: an expression language that defines the syntax and semantics of the decision criteria. It is defined by HL7 and CDISC. HL7 RIM (Reference Information Model) UMLS [34] 2007 SAGE A rich set of criteria templates, specified in page 46. Examples include N_ary_criterion, goal_criterion, comparison_criterion, temporal_comparison_criteri on, variable_comparison_criterio n, adverse_reaction_presence_c riterion, presence_criterion, No Structured templates (see Categorization of criteria) that can be translated into GELLO VMR based on HL7 RIM SNOMEDCT, LOINC NDF-RT [3538] 2007 Unnamed N/A N/A Web Ontology Language (OWL) VMR SNOMED-CT [39] 2007 ERGO (Eligibility